🎯 Interactive Provers - matmat · Scour

Hint-Based SMT Proof Reconstruction

arxiv.org·3h

🧮SMT Solvers

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

arxiv.org·1d

🧮SMT Solvers

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·18h·

Discuss: Blogger

📐Linear Algebra

Logic Puzzle with Poison Pill

dev.to·1d·

Discuss: DEV

🔮Proof Search

Software as clay on the wheel

dri.es·1d

⚡Proof Automation

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

MathGPT Graphing: fast interactive graphs with AI help

mathgpt.today·14h·

Discuss: Hacker News

🧮Constraint Solvers

LLMs Under Siege: The Red Team Reality Check of 2026

eddieoz.com·11h·

Discuss: Hacker News

🎯Threat Hunting

On the way to step functions: the two worlds

blog.julik.nl·2d

🐚Shell Calculus

So You Thought You Knew Everything About Equilateral Triangles, Expanded Version

pballew.blogspot.com·1h·

Discuss: Blogger

📐Mathematical Art

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·20h

📊Static Analysis

Free papers, get your free papers here!

esat.kuleuven.be·12h

🔢Reed-Solomon Math

Evolution of LLMs use by a programmer

asfaload.com·15h·

Discuss: Hacker News

🧩WASM Components

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

🔬Logic in Computer Science

abelianization of an additive category in nLab

ncatlab.org·15h

🧮Algebraic Archives

Getting Rounding Right in DeFi

seceureka.com·20h·

Discuss: Hacker News

📐Interval Arithmetic

CodeSOD: Well Timed Double Checking

thedailywtf.com·2d

🧪Binary Fuzzing

Making a Language

thunderseethe.dev·9h

🛠Language Design

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌳Context free grammars

Loading more...